C++26リフレクションに対応 by faithandbrave · Pull Request #1607 · cpprefjp/site

faithandbrave · 2026-04-09T06:13:49Z

[C++26][言語機能] リフレクション #1493

一通り軽くチェックしたくらいなので、作業漏れチェックなどしてからマージします。

faithandbrave · 2026-04-09T06:17:43Z

まだ大量に抜けがありそう

github-actions · 2026-04-09T06:18:44Z

⚡ プレビュー (HTML) (更新時刻: 2026-05-07 15:56:46 JST)

⫯ Commit: 2bc3273
プレビューの生成には時間がかかります (3～5分)。進捗状況はこちらをご確認ください。

変更記事一覧

265件の記事が変更されました。多いため一部を表示しています。完全なリストについてはこちらをご参照ください。

(ファイル一覧)

📝 implementation-status
📝 lang/cpp11/attributes
📝 lang/cpp20/immediate_functions
📝 lang/cpp26
📝 lang/cpp26/allowing_exception_throwing_in_constant-evaluation
📝 lang/cpp26/expansion_statements
📝 lang/cpp26/feature_test_macros
📝 lang/cpp26/reflection ✨
📝 reference
📝 reference/meta ✨
📝 reference/meta/access_context ✨
📝 reference/meta/access_context/current ✨
📝 reference/meta/access_context/designating_class ✨
📝 reference/meta/access_context/scope ✨
📝 reference/meta/access_context/unchecked ✨
📝 reference/meta/access_context/unprivileged ✨
📝 reference/meta/access_context/via ✨
📝 reference/meta/add_const ✨
📝 reference/meta/add_cv ✨
📝 reference/meta/add_lvalue_reference ✨
📝 reference/meta/add_pointer ✨
📝 reference/meta/add_rvalue_reference ✨
📝 reference/meta/add_volatile ✨
📝 reference/meta/alignment_of ✨
📝 reference/meta/annotations_of ✨
📝 reference/meta/annotations_of_with_type ✨
📝 reference/meta/apply_result ✨
📝 reference/meta/bases_of ✨
📝 reference/meta/bit_size_of ✨
📝 reference/meta/can_substitute ✨
📝 reference/meta/common_reference ✨
📝 reference/meta/common_type ✨
📝 reference/meta/constant_of ✨
📝 reference/meta/current_class ✨
📝 reference/meta/current_function ✨
📝 reference/meta/current_namespace ✨
📝 reference/meta/data_member_options ✨
📝 reference/meta/data_member_spec ✨
📝 reference/meta/dealias ✨
📝 reference/meta/decay ✨
📝 reference/meta/define_aggregate ✨
📝 reference/meta/define_static_array ✨
📝 reference/meta/define_static_object ✨
📝 reference/meta/define_static_string ✨
📝 reference/meta/display_string_of ✨
📝 reference/meta/enumerators_of ✨
📝 reference/meta/exception ✨
📝 reference/meta/extent ✨
📝 reference/meta/extract ✨
📝 reference/meta/has_automatic_storage_duration ✨
📝 reference/meta/has_c_language_linkage ✨
📝 reference/meta/has_default_argument ✨
📝 reference/meta/has_default_member_initializer ✨
📝 reference/meta/has_external_linkage ✨
📝 reference/meta/has_identifier ✨
📝 reference/meta/has_inaccessible_bases ✨
📝 reference/meta/has_inaccessible_nonstatic_data_members ✨
📝 reference/meta/has_inaccessible_subobjects ✨
📝 reference/meta/has_internal_linkage ✨
📝 reference/meta/has_linkage ✨
📝 reference/meta/has_module_linkage ✨
📝 reference/meta/has_parent ✨
📝 reference/meta/has_static_storage_duration ✨
📝 reference/meta/has_template_arguments ✨
📝 reference/meta/has_thread_storage_duration ✨
📝 reference/meta/has_unique_object_representations ✨
📝 reference/meta/has_virtual_destructor ✨
📝 reference/meta/identifier_of ✨
📝 reference/meta/info ✨
📝 reference/meta/invoke_result ✨
📝 reference/meta/is_abstract_type ✨
📝 reference/meta/is_accessible ✨
📝 reference/meta/is_aggregate_type ✨
📝 reference/meta/is_alias_template ✨
📝 reference/meta/is_annotation ✨
📝 reference/meta/is_applicable_type ✨
📝 reference/meta/is_arithmetic_type ✨
📝 reference/meta/is_array_type ✨
📝 reference/meta/is_assignable_type ✨
📝 reference/meta/is_assignment ✨
📝 reference/meta/is_base ✨
📝 reference/meta/is_base_of_type ✨
📝 reference/meta/is_bit_field ✨
📝 reference/meta/is_bounded_array_type ✨
📝 reference/meta/is_class_member ✨
📝 reference/meta/is_class_template ✨
📝 reference/meta/is_class_type ✨
📝 reference/meta/is_complete_type ✨
📝 reference/meta/is_compound_type ✨
📝 reference/meta/is_concept ✨
📝 reference/meta/is_const ✨
📝 reference/meta/is_const_type ✨
📝 reference/meta/is_constructible_type ✨
📝 reference/meta/is_constructor ✨
📝 reference/meta/is_constructor_template ✨
📝 reference/meta/is_conversion_function ✨
📝 reference/meta/is_conversion_function_template ✨
📝 reference/meta/is_convertible_type ✨
📝 reference/meta/is_copy_assignable_type ✨
📝 reference/meta/is_copy_assignment ✨
… (以下省略)

※ソース (.md) に直接変更のあった記事を列挙しています。グローバル修飾や変換規則の変更による変化は考慮していません。

faithandbrave · 2026-04-09T07:51:35Z

[C++26][言語機能] トリビアルな再配置 #1421

これの取り消しに対応しないといけない

faithandbrave · 2026-04-09T14:29:07Z

@yohhoy @Raclamusi
たくさん指摘いただいてありがとうございます。
まだ直すところ、書くところが大量にあってぜんぜん追いついてない状況です。
セルフチェックまでおわったらレビュー期間をとりますので、一旦置いておいていただければと思います。

Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

…る必要がある Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

…必要がある Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

faithandbrave · 2026-04-11T02:00:00Z

一旦、コミットを整理しつつ @Raclamusi さんの変更を取り込みました

…tringを追加

faithandbrave · 2026-04-13T04:53:05Z

ページ数としては、一旦過不足がなくなったはず。

faithandbrave · 2026-04-20T06:25:06Z

Hashing in C++26

TODO : ハッシュ計算の例を書く。hash_combineはないので、とりあえずXORで

faithandbrave · 2026-04-20T08:22:46Z

いただいた指摘には一旦対応しましたが、reflection.mdでの解説を見直す必要があります。

faithandbrave · 2026-04-20T10:04:03Z

対応したので、このあと一旦セルフレビュー

faithandbrave · 2026-04-24T04:41:56Z

一通り対応しました！
抜けがあったらりしたら教えてください。

Raclamusi · 2026-04-24T04:45:10Z

8b40265

この変更で std::vector の変数をconstexprにしていますが、 std::define_static_array() が必要だと思います。

faithandbrave · 2026-04-24T05:09:29Z

直しました〜

faithandbrave · 2026-04-30T06:09:41Z

GCC 16で使えるようなので、動作検証します

faithandbrave · 2026-04-30T07:37:09Z

GCC 16ですべて動作検証しました。一部未実装もあったので、[mark noimpl]をつけてあります。

faithandbrave · 2026-04-30T07:46:14Z

std::meta::type_underlying_type()関数はstd::meta::underlying_type()に名称変更されていたので (Working Draftに入るときに変わった？)、ページをそのように変更してあります。

Raclamusi · 2026-04-30T09:31:53Z

std::meta::has_ellipsis_parameter() は std::meta::is_vararg_function() に名称変更されたようです。
cplusplus/papers#2728

std::meta の関数が増えているようです。
cplusplus/papers#2401

consteval info current_function();
consteval info current_class();
consteval info current_namespace();

consteval bool is_applicable_type(info fn, info tuple);
consteval bool is_nothrow_applicable_type(info fn, info tuple);
consteval info apply_result(info fn, info tuple);

std::is_structural<T> 、 std::meta::is_structural_type() というのが増えているようです。
cplusplus/papers#2460

std::is_consteval_only<T> および std::meta::is_consteval_only_type() が削除されたようです。
https://cplusplus.github.io/LWG/issue4555

# Conflicts: # GLOBAL_DEFINED_WORDS.json

faithandbrave · 2026-05-07T02:42:54Z

@Raclamusi
対応しました〜

faithandbrave · 2026-05-07T03:33:26Z

GCCのコンパイルオプションを記載しました

Raclamusi · 2026-05-07T10:30:18Z

+  template <class T>
+  consteval info reflect_constant(const T& value);


reflect_constant() の引数の型が const T& から T になったようです。

cplusplus/draft#8244

Raclamusi · 2026-05-07T11:17:32Z

+    // 型ごとに値を取り出して出力
+    // アノテーションは値のリフレクションではないため、
+    // constant_of()で値を取り出してからスプライスする
+    if constexpr (std::meta::type_of(a) == ^^Label) {


アノテーションの値が reflect_constant() で変換されるとき、テンプレート引数と同様に、クラス型には const が付きます。
https://eel.is/c++draft/temp.param#note-3

Suggested change

if constexpr (std::meta::type_of(a) == ^^Label) {

if constexpr (std::meta::type_of(a) == ^^const Label) {

Raclamusi · 2026-05-07T11:17:47Z

+### 出力
+```
+アノテーション数: 2
+  型: Label


Suggested change

型: Label

型: const Label

yohhoy reviewed Apr 9, 2026

View reviewed changes

Raclamusi reviewed Apr 9, 2026

View reviewed changes

Comment thread lang/cpp26/reflection.md Outdated

Comment thread lang/cpp26/reflection.md Outdated

C++26リフレクションに対応 #1493

32cd88c

faithandbrave force-pushed the cpp26_reflection branch from 6d21c35 to 32cd88c Compare April 11, 2026 01:48

annotations_of: アノテーションの文字列リテラルはdefine_static_stringでラップする必要がある

741186c

Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

faithandbrave force-pushed the cpp26_reflection branch from cfe6abb to 741186c Compare April 11, 2026 01:53

faithandbrave and others added 8 commits April 11, 2026 10:53

string_viewは構造的型ではないのでアノテーションに使用できず、文字列リテラルはdefine_static_stringでラップす…

9afffee

…る必要がある Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

annotations_of_with_type : アノテーションの文字列リテラルはdefine_static_stringでラップする…

6160b23

…必要がある Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

access_context::current : タイトル修正

d11eed1

Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

access_context::designating_class : タイトル修正

ecd1e47

Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

access_context::scope : タイトル修正

4fdd9b5

Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

access_context::unchecked : タイトル修正

bb1c59e

Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

access_context::unprivileged : タイトル修正

f1e3797

Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

access_context::via : タイトル修正

d9136a1

Co-authored-by: Raclamusi <61970673+Raclamusi@users.noreply.github.com>

faithandbrave added 3 commits April 13, 2026 13:09

不足していた関数is_string_literal, reflect_constant_array, reflect_constant_s…

9d89e50

…tringを追加

meta: trivially relocatable関係を削除

699d6be

is_override : overrideキーワードの有無に関係なくオーバーライド関係を判定するよう修正

ed10402

define_static_arrayを使用

7424626

faithandbrave added 2 commits April 20, 2026 18:33

reflection : define〜系の解説を強化

9d2eae5

reflection : ハッシュ値計算の例を追加

6688b15

faithandbrave added 3 commits April 24, 2026 13:16

offset_of, size_of, source_location_of, type_of : 対象が狭かった

0c34465

source_location_of : 出力例が空だった

6d42316

has_inaccessible_subobjectsが抜けていたので追加

bacfeed

reflection : define_static_arrayが不足していた

3058e20

Raclamusi reviewed Apr 29, 2026

View reviewed changes

Comment thread reference/meta/is_defaulted.md Outdated

Comment thread reference/meta/is_deleted.md Outdated

is_defaulted, is_deleted : 対象範囲がまちがっていたのを修正

b094b24

faithandbrave added 4 commits April 30, 2026 15:18

access_context::scope : 動作検証したら出力がまちがっていたのでサンプル見直し

7de1fde

access_context::via : 動作検証したら出力がまちがっていたのでサンプルを見直し

29fa89c

define_static_array関係のコンパイルエラーを修正

f4cb87c

metaをGCC 16で動作検証した

f9c1d6b

Merge branch 'master' into cpp26_reflection

0c0e1f8

faithandbrave added 5 commits May 7, 2026 11:01

meta : has_ellipsis_parameterをis_vararg_functionに名称変更して動作確認した

d166934

meta : 関数追加

f5e76f9

meta / type_traits : is_structuralを追加

69ef5b8

meta / type_traits : is_consteval_onlyを削除

65bcfa9

Merge branch 'master' into cpp26_reflection

63a791d

# Conflicts: # GLOBAL_DEFINED_WORDS.json

reflection : GCCのコンパイルオプションを記載

e610561

Raclamusi reviewed May 7, 2026

View reviewed changes

Comment thread reference/meta/exception.md

Comment thread reference/meta/define_static_array.md Outdated

faithandbrave added 2 commits May 7, 2026 15:47

meta::exception : インタフェースが異なっていたのを修正

04a5a2c

define_static_array : 条件に寄って静的な長さが返える仕様に対応

2bc3273

Raclamusi reviewed May 7, 2026

View reviewed changes

		template <class T>
		consteval info reflect_constant(const T& value);

	if constexpr (std::meta::type_of(a) == ^^Label) {
	if constexpr (std::meta::type_of(a) == ^^const Label) {

Conversation

faithandbrave commented Apr 9, 2026

Uh oh!

faithandbrave commented Apr 9, 2026

Uh oh!

github-actions Bot commented Apr 9, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

変更記事一覧

Uh oh!

faithandbrave commented Apr 9, 2026

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

faithandbrave commented Apr 9, 2026

Uh oh!

faithandbrave commented Apr 11, 2026

Uh oh!

faithandbrave commented Apr 13, 2026

Uh oh!

faithandbrave commented Apr 20, 2026

Uh oh!

faithandbrave commented Apr 20, 2026

Uh oh!

faithandbrave commented Apr 20, 2026

Uh oh!

faithandbrave commented Apr 24, 2026

Uh oh!

Raclamusi commented Apr 24, 2026

Uh oh!

faithandbrave commented Apr 24, 2026

Uh oh!

Uh oh!

Uh oh!

faithandbrave commented Apr 30, 2026

Uh oh!

faithandbrave commented Apr 30, 2026

Uh oh!

faithandbrave commented Apr 30, 2026

Uh oh!

Raclamusi commented Apr 30, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

faithandbrave commented May 7, 2026

Uh oh!

faithandbrave commented May 7, 2026

Uh oh!

Uh oh!

Uh oh!

Raclamusi May 7, 2026

Choose a reason for hiding this comment

Uh oh!

Raclamusi May 7, 2026

Choose a reason for hiding this comment

Uh oh!

Raclamusi May 7, 2026

Choose a reason for hiding this comment

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

github-actions Bot commented Apr 9, 2026 •

edited

Loading

Raclamusi commented Apr 30, 2026 •

edited

Loading